1. Metamathematical investigation of intuitionistic arithmetic and analysis
Author: / A. S. Troelstra
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Intutitionistic mathematics,Proof Theory,Model Theory
Classification :
510
.
8
Me
